Merge pull request #807 from micmac1/ci-up
authormicmac1 <[email protected]>
Wed, 29 Mar 2023 18:18:27 +0000 (20:18 +0200)
committerGitHub <[email protected]>
Wed, 29 Mar 2023 18:18:27 +0000 (20:18 +0200)
CI: sync up with changes in packages repo


Trivial merge